#ifndef _STDLIB_H_
#define _STDLIB_H_

#include <stddef.h>

void *valloc(size_t size);
void *malloc(size_t size);

void free(void *addr);

#endif
